# -*- mode: makefile -*-
# The first line sets the emacs major mode to Makefile

################################################################
# Use this file to give project-specific definitions of the command
# line arguments to pass to CBMC tools like goto-cc to build the goto
# binaries and cbmc to do the property and coverage checking.
#
# Use this file to override most default definitions of variables in
# Makefile.common.
################################################################

# Flags to pass to goto-cc for compilation (typically those passed to gcc -c)
COMPILE_FLAGS += -fPIC
COMPILE_FLAGS += -std=gnu90

# Path to litani executable, used for running proofs and displaying report
LITANI ?= $(SRCDIR)/test/cbmc/litani/litani
PROJECT_NAME = "FreeRTOS coreHTTP"

# Flags to pass to goto-cc for linking (typically those passed to gcc)
# LINK_FLAGS =

# Preprocessor include paths -I...
INCLUDES += -I$(SRCDIR)/test/cbmc/include
INCLUDES += -I$(SRCDIR)/source/include
INCLUDES += -I$(SRCDIR)/source/interface
INCLUDES += -I$(SRCDIR)/source
INCLUDES += -I$(SRCDIR)/source/dependency/3rdparty/http_parser

# Preprocessor definitions -D...
DEFINES += -Dhttp_EXPORTS

# Ensure that all assumptions are sound by checking that "all pointers
# in pointer primitives are valid or null"
CHECKFLAGS += --pointer-primitive-check
